21. Catalogue of Artificial Intelligence Tools
Author: edited by Alan Bundy, Lincoln Wallen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
Q336
.
E358
1984
22. Classification, Data Analysis, and Knowledge Organization :
Author: edited by Hans-Hermann Bock, Peter Ihm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer scienc.,Operations research.,Statistics.
Classification :
QA276
.
A1
E358
1991
23. Combinatorial Image Analysis :
Author: edited by Reinhard Klette, Joviša Žunić.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Electronic data processing.
24. Communicating process architectures 2009 :
Author: edited by Peter H. Welch [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
Classification :
QA76
.
58
.
W58
2009
25. Compiling Parallel Loops for High Performance Computers
Author: by David E. Hudak, Santosh G. Abraham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
26. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
27. Computer algebra in scientific computing :
Author: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
28. Computer science -- theory and applications :
Author: René van Bevern, Gregory Kucherov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Computer science, Congresses.,Computer algorithms.,Computer science.
Classification :
QA75
.
5
29. Data structures and algorithms in C]]
Author: Michael T. Goodrich, Roberto Tamassia, David M. Mount
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: C]] )Computer program language(,Data structures )Computer science(,Computer algorithms,COMPUTERS / Programming Languages / C]], bisacsh
Classification :
QA
76
,.
73
.
G66D3
2011
30. Data structures and algorithms in C++ /
Author: Michael T. Goodrich, Roberto Tamassia, David M. Mount
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Computer algorithms,Data structures (Computer science)
Classification :
QA76
.
73
.
C153
G63
2011
31. Data structures and algorithms with Python /
Author: Kent D. Lee, Steve Hubbard
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Data structures (Computer science),Python (Computer program language),Algorithm Analysis and Problem Complexity.,Computer Science.,Data Structures.,Programming Techniques.
Classification :
QA76
.
9
.
D35
32. Data structures and algorithms with Python /
Author: Kent D. Lee, Steve Hubbard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Data structures (Computer science),Python (Computer program language),Algorithms & data structures.,Computer algorithms.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Data structures (Computer science),Python (Computer program language)
Classification :
QA76
.
9
.
D35
L44
2015eb
33. Data structures and algorithms with Python /
Author: Kent D. Lee, Steve Hubbard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Data structures (Computer science),Python (Computer program language),Algorithms.,Data structures (Computer science),Python (Computer program language)
Classification :
QA76
.
73
.
P98
L44
2015
34. Database Theory -- ICDT '92 :
Author: edited by Joachim Biskup, Richard Hull.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Database management.
Classification :
QA76
.
9
.
D3
E358
1992
35. First course in algorithms through puzzles /
Author: Ryuhei Uehara.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer algorithms.
Classification :
QA9
.
58
36. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
37. Foundations of programming languages /
Author: Kent D. Lee.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Programming languages (Electronic computers)
Classification :
QA76
.
7
38. Functional Networks with Applications
Author: by Enrique Castillo, Angel Cobo, José Manuel Gutiérrez, Rosa Eva Pruneda.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer-aided design.,Data structures (Computer science).,Physics.
39. Funtional Programming Languages in Education :
Author: edited by Pieter H. Hartel, Rinus Plasmeijer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Logic design.
Classification :
QA76
.
62
E358
1995
40. GI - 6. Jahrestagung :
Author: herausgegeben von Erich J. Neuhold.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA76
.
H473
1976
